Merge remote branch 'upstream/master' into bugfixes
authorHans Dedecker <[email protected]>
Thu, 16 Jan 2014 10:33:34 +0000 (11:33 +0100)
committerHans Dedecker <[email protected]>
Thu, 16 Jan 2014 10:33:34 +0000 (11:33 +0100)

Trivial merge